Taking Linear Logic Apart

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Taking apart the endocytic machinery

The formation of clathrin-coated endocytic vesicles is driven by a complex and highly dynamic molecular machinery. In this issue, Idrissi et al. (Idrissi, F.-Z., H. Grötsch, I.M. Fernández-Golbano, C. Presciatto-Baschong, H. Riezman, and M.-I. Geli. 2008. J. Cell Biol. 180:1219-1232) reveal some of the secrets of this machinery by analyzing the localizations of nine endocytic proteins during ve...

متن کامل

Deterministic hydrodynamics: taking blood apart.

We show the fractionation of whole blood components and isolation of blood plasma with no dilution by using a continuous-flow deterministic array that separates blood components by their hydrodynamic size, independent of their mass. We use the technology we developed of deterministic arrays which separate white blood cells, red blood cells, and platelets from blood plasma at flow velocities of ...

متن کامل

Christian Ungermann: Taking apart vacuole fusion

T he yeast vacuole (similar to the lysosome in higher eukaryotes) is the recipient of cargo from both the secretory and endocytic pathways. Studies of this highly dynamic organelle have been crucial to our general understanding of intracellular transport, and Christian Ungermann continues to elucidate the many different steps of vacuole fusion and the proteins that regulate them. earned his PhD...

متن کامل

Putting together rather than taking apart.

The town of Ascona in Switzerland, nestled on the northern shore of Lago Maggiore, hosted the 112 participants in the first systems biology meeting focused on developmental biology. The EMBO workshop was held between 16 and 20 August and brought together a multidisciplinary group of scientists who use systems approaches to understand how the size and shape of multicellular organisms and organs ...

متن کامل

Linear Formulas in Continuous Logic

We prove that continuous sentences preserved by the ultramean construction (a generalization of the ultraproduct construction) are exactly those sentences which are approximated by linear sentences. Continuous sentences preserved by linear elementary equivalence are exactly those sentences which are approximated in the Riesz space generated by linear sentences. Also, characterizations for linea...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science

سال: 2019

ISSN: 2075-2180

DOI: 10.4204/eptcs.292.5